N↓⊂πP
`8`↓h⊃@08$⊗htX ∧∃U@⊂≥W@:β⊂iU_)T)⊂∞p	P∀P∩P¬λP⊂∞⊂π⊃P∩Pπ@⊃Pβ∩Pπ@⊃Pε
∀∞⊂@λ∀	@λ∀λ@∪T	@∪Tλ@βXL@βXAπλ
@πλ
@πλ
@πλ
@πλ
@πλ
@πλ
@πλ
@πλ
@πλ
@
⊂∪X∂⊂εP⊂P¬∩hP
P⊃`∂P∞⊂π↓P¬Pπ⊂⊂∩⊂	P∪`∀⊂π∞⊂π∩⊂¬∩h⊂ε⊃0∩⊂%∞Pε	⊂λ⊃⊂∩0
Pπ
⊂
⊃`∃⊂
⊃`
⊂∩⊂
⊂
R8⊂ε∧S@πT↓S⊂¬∧ε@πTλ@¬∧∧@α∀∞⊂πD#T(πTαT	@↓∀(@εT	⊃λTλ@∪∧απDαπ∧¬S⊂πD"S⊂πD#@αD@∧∧∧βεSHπDβSPεDQλ⊂∧Q⊂εD
εD+Q8∧D	↓∞≤P↓  ↓#G ↓CG ↓U*p↓g∞ ↓xqpα∪G⊂α∪G α≤9α'∞0α.≤Pα.≤`α@⊂α@ αQc`αU*pαg∞0αjU@αu*pα|9⊂βπ∞0β∞≤Pβ⊃c`β_rβ≤9⊂β≡≤`β  β!c`β#G0β*U@β.≤`βG∞@βJU@βN≤Pβn≤Pβqc`βqcp∧βG0∧
UP∧∃*p∧N≤`α
U0αQc@αW≥@α↑≤@αcG⊂βπ∞ G∞ jU ⊃H@⊗m`⊗}⊂_⊂≤(`  P+&`1C 2U@4" 5*`9"`:5<λ >#⊂@A DYPE
0I∩@J5N]PR$`U
0[⊗P]| lz⊂tλ0↓∩∧0~ `→@X≠h	p∂pλ0
0@↔0~ p≠x	p∂pλ0
0@↔0@_β`@_βp_0λ_0⊂≠p⊂→0⊂@_p⊂⊂0__0⊂≠p⊂→0⊂P_@⊂_⊂0 ≠p_→0__0_≥0_≤P_∪p⊂⊂p⊂⊃p⊂@∀0⊂≡0⊂≥0_≤P_≠p_→0__0_@⊂0_⊂0⊂∃p⊂⊗0⊂∃P⊂@⊗⊂⊂→0(≠p(_p(→⊂(≤0(≡⊂⊂≥P⊂≡0⊂@≥p⊂≥⊂⊂∃⊂_∪p⊂∃0⊂⊂p⊂∃p ⊗0_⊃p⊂∃P @∀0⊂@~P⊂↓∩∧0␈␈\8p␈␈n≤0␈␈JU ␈␈8q`⊃cP↓∩%↓U*`jU0G∞ α
U0¬ G∞